A current‐mode 1kHz/10kHz low‐voltage integrated analogue PLL for lock‐in portable applications

We present a low‐supply voltage (2V) low‐power consumption (500W) analogue phase‐locked loop (PLL), working at two low frequencies (1 and 10kHz), to be used in an integrated lock‐in amplifier. An externally settable control bit allows the switching operation between the two different frequencies. The circuit has been designed in a standard 0.6–m CMOS technology and differs from the standard analogue PLL architectures for the current mode implementation of both the loop filter and of the oscillator. Three different locked waveforms (sinusoidal, triangular, squared) can be obtained at the PLL output. Simulation results, obtained through the use of PSPICE and using accurate transistor models, will be proposed. The pull‐in ranges are about ±250Hz around 1 and ±1.3kHz around 10kHz, with pull‐in times of about 10 and 4ms, respectively. Copyright © 2003 John Wiley & Sons, Ltd.     

A Timing Assumption and Two t-Resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems

This paper considers the problem of electing an eventual leader in an asynchronous shared memory system. While this problem has received a lot of attention in message-passing systems, very few solutions have been proposed for shared memory systems. As an eventual leader cannot be elected in a pure asynchronous system prone to process crashes, the paper first proposes to enrich the asynchronous system model with an additional assumption. That assumption (denoted AWB) is particularly weak. It is made up of two complementary parts. More precisely, it requires that, after some time, (1) there is a process whose write accesses to some shared variables be timely, and (2) the timers of (t−f) other processes be asymptotically well-behaved (t denotes the maximal number of processes that may crash, and f the actual number of process crashes in a run). The asymptotically well-behaved timer notion is a new notion that generalizes and weakens the traditional notion of timers whose durations are required to monotonically increase when the values they are set to increase (a timer works incorrectly when it expires at arbitrary times, i.e., independently of the value it has been set to). The paper then focuses on the design of t-resilient AWB-based eventual leader protocols. “t-resilient” means that each protocol can cope with up to t process crashes (taking t=n−1 provides wait-free protocols, i.e., protocols that can cope with any number of process failures). Two protocols are presented. The first enjoys the following noteworthy properties: after some time only the elected leader has to write the shared memory, and all but one shared variables have a bounded domain, be the execution finite or infinite. This protocol is consequently optimal with respect to the number of processes that have to write the shared memory. The second protocol guarantees that all the shared variables have a bounded domain. This is obtained at the following additional price: t+1 processes are required to forever write the shared memory. A theorem is proved which states that this price has to be paid by any protocol that elects an eventual leader in a bounded shared memory model. This second protocol is consequently optimal with respect to the number of processes that have to write in such a constrained memory model. In a very interesting way, these protocols show an inherent tradeoff relating the number of processes that have to write the shared memory and the bounded/unbounded attribute of that memory.     

Structure and thickness dependence of "molecular wiring" in nanostructured enzyme multilayers

Supramolecular organized multilayers composed of glucose oxidase (GOx) and osmium-derivatized poly(allylamine) redox polymer have been self-assembled electrostatically from Os-polyelectrolyte solutions of variable pH (5.5-8.8) leading to a decrease of the linear charge density in the PAH-Os with increasing pH. The layer-by-layer enzyme multilayers were studied by ellipsometry, quartz crystal microbalance, AFM, cyclic voltammetry, and electrocatalytic oxidation of beta-D-glucose. At higher adsorption solution pH, an increase in the film thickness, enzyme loading, and redox charge was observed. While the electrocatalytic response increases with the increase of the adsorption solution pH (decrease of the polyelectrolyte linear charge), the FADH2 oxidation bimolecular rate constant has a maximum in the pH range 7.0-7.5 where a change in the film growth mechanism is observed.     

O-Buffer based IFT watershed from markers for large medical datasets

The watershed transform from markers is a very popular image segmentation operator. The image foresting transform (IFT) watershed is a common method to compute the watershed transform from markers using a priority queue, but which can consume too much memory when applied to three-dimensional medical datasets. This is a considerable limitation on the applicability of the IFT watershed, as the size of medical datasets keeps increasing at a faster pace than physical memory technologies develop. This paper presents the O-IFT watershed, a new type of IFT watershed based on the O-Buffer framework, and introduces an efficient data representation which considerably reduces the memory consumption of the algorithm. In addition, this paper introduces the O-Buckets, a new implementation of the priority queue which further reduces the memory consumption of the algorithm. The new O-IFT watershed with O-Buckets allows the application of the watershed transform from markers to large medical datasets.     

Numerical Modeling of Inclusion Removal in Electromagnetic Stirred Steel Billets

To investigate the inclusion removal in billets cast under electromagnetic stirring (EMS) influence, a numerical model has been developed to compute the magnetic field, the Lorentz force, the steel flow velocities, and the particle transport within the liquid pool. The electromagnetic field was described by the Maxwell equations and the finite element method was applied using a commercial package. The turbulent fluid flow was described by the Navier‐Stokes equation and by the Reynolds Stress model and the finite volume method was applied using another numerical package. The time average of the Lorentz force was calculated in each element center and this value was applied as a body force in the Navier‐Stokes equation. The magnetic flux density profile was compared with the data obtained in the stirrer of the steel plant. The particle transport model includes the drag force, the buoyancy force and the random walk model, to include the turbulence effects on the particle trajectory. The inclusion removal was calculated and analysed in function of casting speed and stirring current for one size section of mold. The inclusions considered in the calculations have a fixed density and four values of diameter. The numerical results of the electromagnetic model are in agreement with the experimental measurements. A good relationship between the electromagnetic model and the fluid flow model could be shown. An interesting effect is the break of the rotation motion due to the EMS by the jet from the nozzle. The fraction of inclusions removed by the top surface of the mold was improved due to the EMS.